2341. روش‌های اثبات
Author: / تالیف دانیل ولمان,عنوان اصلی: How to prove it : a structured approach,2nd ed,2006.,ولمن,Velleman
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics,a01,a01,a02,a02
Classification :
QA
۹
/
و
۸
ر
۹ ۱۳۹۸
2342. فلسفه ریاضیات
Author: دامت Dummett ، مایکل ا. ای. , Michael A. E.
Library: Vali Asr University Central Library (Kerman)
Subject: ریاضیات, Mathematics, منطق ریاضی, Logic, Symbolic and mathematical
Classification :
QA
8/4
/
د
2
ف
8
1397
2343. فلسفه ریاضیات
Author: مایکل دامت,دامت,Dummett
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: ریاضیات,Mathematics,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a02
Classification :
QA
۸
/
۴
/
د
۲
ف
۸ ۱۳۹۶
2344. مبحثی در منطق ریاضی
Author: / شاسی‌موهان سریواستاوا,A course on mathematical logic, ]2013].
Library: Central Library and Document Center of Arak University (Markazi)
Subject: منطق ریاضی -- کتاب‌های درسی,Textbooks -- Logic, Symbolic and mathematical
Classification :
۵۱۱
/
۳
س
۵۲۶
م
2345. مختصری از منطق ریاضی (حساب محمولات)
Author: / گردآورنده غلامرضا یاسیپور.,یاسیپور
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,a01
Classification :
QA
۹
/
ی
۲
م
۳ ۱۳۹۶
2346. م‍دخ‍ل منطق صورت، ی‍ا، منطق ریاضی
Author: / ن‍گ‍ارش غ‍لام‍ح‍س‍ی‍ن م‍ص‍اح‍ب.,م‍ص‍اح‍ب
Library: The library of the holy threshold of Hazrat Fatima Masoumeh (peace be upon her) (Qom)
Subject: منطق ریاضی,Logic, symbolic and mathematical,a06,a06
Classification :
QA
۹
/
م
۶
م
۴ ۱۳۶۶
2347. مفهوم‌نگاشت
Author: / گوتلوب فرِگه,فرگه,Frege
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,ریاضیات,Mathematics, -- فلسفه, -- Philosophy,a02,a01
Classification :
QA
۹
/
ف
۴
م
۷ ۱۳۹۶
2348. مقدمه‌ای بر منطق جدید
Author: / پل اگره,کتاب حاضر ترجمه درس‌گفتارهایی است که توسط پل اگره در مدرسۀ عالی نرمال پاریس به صورت جزوه‌ای با عنوان École Normale Supérieure منتشر شده است.,اگره,Égré
Library: Library of Razavi University of Islamic Sciences (Khorasan Razavi)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,منطق جدید,Logic, Modern,a02,a02,a01,a01
Classification :
۵۱۱
/
۳
الف
۶۹۶
م
2349. مقدمه‌ای بر منطق جدید
Author: / پل اگره,کتاب حاضر ترجمه درس‌گفتارهایی است که توسط پل اگره در مدرسۀ عالی نرمال پاریس به صورت جزوه‌ای با عنوان École Normale Supérieure منتشر شده است.,اگره,Égré
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,منطق جدید,Logic, Modern
Classification :
QA
۹
/
الف
۷
م
۷ ۱۴۰۱
2350. مقدمه‌ای بر نظریه‌ی اصولی مجموعه‌ها
Author: / تالیف عبدعلی کوچک پور، مهرداد نامداری.,کوچکپور
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: نظریه اصولی مجموعه‌ها,Axiomatic set theory,منطق ریاضی,Logic, Symbolic and mathematical,a06,a06,a08,a08
Classification :
QA
۲۴۸
/
ک
۹
م
۷ ۱۳۹۴
2351. منطق ریاضی
Author: / محمد اردشیر,چاپ دوم: ۱۳۹۳,اردشیر بهرستاقی
Library: Comprehensive Library of Al-Mustafa Al-Alamiya Society (Qom)
Subject: منطق ریاضی,Logic, symbolic and mathematical,a03,a03
Classification :
QA
۹
/
الف
۴
م
۸ ۱۳۹۰
2352. منطق ریاضی
Author: / محمد اردشیر.,اردشیر بهرستاقی
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,a06,a06
Classification :
QA
۹
/
الف
۴
م
۸ ۱۳۹۹
2353. منطق ریاضی
Author: / تالیف منیره پیمان,پیمان
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,a01,a01
Classification :
QA
۹
/
پ
۹
م
۸
2354. منطق ریاضی
Author: / محمد اردشیر,چاپ دوم: ۱۳۹۳,اردشیر بهرستاقی
Library: Library of The Higher Educational Institute of Imam Khomeini (Qom)
Subject: منطق ریاضی,Logic, symbolic and mathematical,a03,a03
Classification :
QA
۹
/
الف
۴
م
۸ ۱۳۹۰
2355. منطق و زبان شناسی
Author: اَلوود، یسن - نویسنده,اَلوود، یسن - نویسنده
Library: Digital Library of Noor (Qom)
Subject: زبان - فلسفه - منطق ریاضی - Language and languages – Philosophy - Logic, Symbolic and mathematical.
2356. منطق و زبان‌شناسی
Author: / ينس الوود ، لارس - گونار اندرسن ، استن دال,عنوان اصلی: Logic in linguistics.,آلوود,Allwood
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: زبان,Language and languages,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a01,a02,a02
Classification :
P
۱۰۷
/
آ
۷
م
۸
2357. منطق و زبان‌شناسی
Author: / ينس الوود ، لارس - گونار اندرسن ، استن دال,عنوان اصلی: Logic in linguistics.,آلوود,Allwood
Library: Internatinal university of islamic denominations (Tehran)
Subject: زبان,Language and languages,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a01,a02,a02
Classification :
P
۱۰۷
/
آ
۸
م
۸ ۱۳۹۹
2358. منطق و زبان‌شناسی
Author: / ينس الوود ، لارس - گونار اندرسن ، استن دال,عنوان اصلی: Logic in linguistics.,آلوود,Allwood
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: زبان,Language and languages,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a01,a02,a02
Classification :
P
۱۰۷
/
آ
۷
م
۸ ۱۳۹۹
2359. نظریه صدق تارسکی
Author: / علی‌اکبر احمدی‌افرمجانی.,احمدی افرمجانی
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,a01
Classification :
BC
۱۳۵
/
الف
۳
ن
۶ ۱۳۹۷
2360. هنر منطق در دنیای بی‌منطق
Author: / یوجنیا چنگ,عنوان اصلی: The art of logic in an illogical world, 2018.,چنگ,Cheng
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: منطق ریاضی,Logic, Symbolic and mathematical,منطق,Logic,استدلال ,Reasoning,اندیشه و تفکر,Thought and thinking, -- به‌زبان ساده, -- Popular works, -- به زبان ساده, -- Popular works, -- به زبان ساده, -- Popular Works,a01,a01,a02,a02,a04,a04,a03,a03
Classification :
QA
۹
/
چ
۹
هـ
۹ ۱۳۹۸
